1. Leveraging Applications of Formal Methods, Verification and Validation
پدیدآورنده : edited by Tiziana Margaria, Bernhard Steffen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer simulation.,Computer system performance.,Software engineering.
